#include <stdio.h>

int main ()
{

    printf ("xxxxxx\n") ;

    printf ("%6d" , 123) ;

    return 0 ;

}